We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of formulas, φ, built up from propositional variables (p,q,r,...) and falsity $(\perp)$ using conjunction $(\wedge)$ , disjunction (∨) and implication (→). Write $\vdash\phi$ to indicate that such a formula is intuitionistically valid. We show that for each variable p and formula φ there exists a formula Apφ (effectively computable from φ), containing only variables not equal to p which occur in φ, and such that for (...) all formulas ψ not involving $p, \vdash \psi \rightarrow A_p\phi$ if and only if $\vdash \psi \rightarrow \phi$ . Consequently quantification over propositional variables can be modelled in IpC, and there is an interpretation of the second order propositional calculus, IpC2, in IpC which restricts to the identity on first order propositions. An immediate corollary is the strengthening of the usual interpolation theorem for IpC to the statement that there are least and greatest interpolant formulas for any given pair of formulas. The result also has a number of interesting consequences for the algebraic counterpart of IpC, the theory of Heyting algebras. In particular we show that a model of IpC2 can be constructed whose algebra of truth-values is equal to any given Heyting algebra. (shrink)

Ancient Roman “technical memory” is not (as much of the modern specialist literature would have it) a generative technology of association. Rather it is (as a literal reading of the texts would suggest) a specialized tool for precise serial recall. Modern experimental evidence both confirms the fitness for the purpose of the technique and shows why that purpose is not trivial, as some have suggested. While the mechanism(s) by which the technique operates are not fully understood, a review of the (...) current literature suggests that it would have had the advantage over other mnemonic techniques by virtue of recruiting a variety of cognitive capacities. These likely include spatial/navigational mechanisms and possibly visual/imagery-based ones as well. Finally, small differences between the method as recorded in the ancient texts and similar methods that have been the subject of laboratory experiments are used to suggest possible directions for further experimentation. (shrink)

Despite increased calls for hospital ethics committees to serve as default decision-makers about life-sustaining treatment for unrepresented patients who lack decision-making capacity or a surrogate decision-maker and whose wishes regarding medical care are not known, little is known about how committees currently function in these cases. This was a retrospective cohort study of all ethics committee consultations involving decision-making about LST for unrepresented patients at a large academic hospital from 2007 to 2013. There were 310 ethics committee consultations, twenty-five of (...) which involved unrepresented patients. In thirteen cases, the ethics consultants evaluated a possible substitute decision-maker identified by social workers and/or case managers. In the remaining cases, the ethics consultants worked with the medical team to contact previous healthcare professionals to provide substituted judgement, found prior advance care planning documents, or identified the patient’s best interest as the decision-making standard. In the majority of cases, the final decision was to limit or withdraw LST or to change code status to Do Not Resuscitate/Do Not Intubate. Substitute decision-makers who had been evaluated through the ethics consultation process and who made the final decision alone were more likely to continue LST than cases in which physicians made the final decision. In our centre, the primary role of ethics consultants in decision-making for unrepresented patients is to identify appropriate decision-making standards. In the absence of other data suggesting that ethics committees, as currently constituted, are ready to serve as substitute decision-makers for unrepresented patients, caution is necessary before designating these committees as default decision-makers. (shrink)

Systematic study of the intersection of ethics consultation services and solid organ transplants and recipients can identify and illustrate ethical issues that arise in the clinical care of these patients, including challenges beyond resource allocation. This was a single-centre, retrospective cohort study of all adult ethics consultations between January 1, 2007, and December 31, 2017, at a large academic medical centre in the north-eastern United States. Of the 880 ethics consultations, sixty (6.8 per cent ) involved solid organ transplant, thirty-nine (...) (65.0 per cent) for candidates and twenty-one (35.0 per cent ) for recipients. Ethics consultations were requested for 4.3 per cent of heart, 4.9 per cent of lung, 0.3 per cent of liver, and 0.3 per cent of kidney transplant recipients over the study period. Nurses were more likely to request ethics consultations for recipients than physicians (80.0 per cent vs 20.0 per cent, p = 0.006). The most common reason for consultation among transplant candidates was discussion about intensity of treatment or goals of care after the patient was not or was no longer a transplant candidate. The most common reason for ethics consultation among transplant recipients was disagreement between transplant providers and patients/families/non-transplant healthcare professionals over the appropriate intensity of treatment for recipients. Very few consultations involved questions about appropriate resource allocation. Ethics consultants involved in these cases most often navigated communication challenges between transplant and non-transplant healthcare professionals and patients and families. (shrink)

Payoff dominance, a criterion for choosing between equilibrium points in games, is intuitively compelling, especially in matching games and other games of common interests, but it has not been justified from standard game-theoretic rationality assumptions. A psychological explanation of it is offered in terms of a form of reasoning that we call the Stackelberg heuristic in which players assume that their strategic thinking will be anticipated by their co-player(s). Two-person games are called Stackelberg-soluble if the players' strategies that maximize against (...) their co-players' best replies intersect in a Nash equilibrium. Proofs are given that every game of common interests is Stackelberg-soluble, that a Stackelberg solution is always a payoff-dominant outcome, and that in every game with multiple Nash equilibria a Stackelberg solution is a payoff-dominant equilibrium point. It is argued that the Stackelberg heuristic may be justified by evidentialist reasoning. (shrink)

The continental tradition in philosophy has gotten more "materialistic" over the last two hundred years. This has resulted from a combination of some very specific moves with regard to the epistemological parameters of understanding and the assertion that ideas may have material force in history. Therefore, the materialism within the continental tradition is not a materiality of being, but a materiality of understanding and action. Such an inquiry opens up space between the activities of sensation and the mental faculty of (...) cognition. 'I think, therefore I am,' is not an empirical statement, but a statement of cognition. It is assumed that this distinction is at the core of continental philosophy. Cognition is always interpretive. Experience is the start of cognition, but not its final product. Our cognitions cannot be separated from our experience of the physical, social, and cultural environment around us. The symbolic nature of language reinforces the interpretive nature of our thoughts and ideas. Our language is, therefore, always projecting an implicit image of the world. Language is, therefore, always political. The materiality of these cognitive world-views is manifested in two ways. First, in their formation. They are the products of sensual contact with the world. Second, in their effects. They move people. It is a picture of the world which serves to shape the content and character of human behavior. Whether we want to call these phantoms of the mind, world-view, ideas, thoughts, cognitions, or any other term, the dual character of their materiality is secure. This work examines the threads of materialist ideas running through the efforts of some major authors in the continental tradition in philosophy. A model of materialism is constructed in Chapter One and used to assess the materialist elements in works from Kant, Marx, Weber, Nietzsche, and contemporary poststructuralism. The work demonstrates the evolution of materialist thinking within the tradition and asserts an evolving and developing articulation of materialism in relation to the thoughts and activities of human beings." -- Publisher's description. (shrink)

A significant increase in the probability of an action resulting from observing that action performed by another agent cannot, on its own, provide persuasive evidence of imitation. Simple models of social influence based on two-person sequential games suggest that both imitation and pseudo-imitation can be explained by a process more fundamental than priming, namely, subjective utility maximization.

Warrant is what fills the gap between mere true belief and knowledge. But a problem arises. Is there just one condition that satisfies this description? Suppose there isn’t: can anything interesting be said about warrant after all? Call this the uniqueness problem. In this paper, I solve the problem. I examine one plausible argument that there is no one condition filling the gap between mere true belief and knowledge. I then motivate and formulate revisions of the standard analysis of warrant. (...) Given these revisions, I argue that there is, after all, exactly one warrant condition. (shrink)

The development of ethical guidelines and regulations regarding human subjects research has focused upon protection of vulnerable populations by relying on a limited typology of vulnerabilities. This results in several challenges: First, Institutional Review Boards struggle to interpret and apply the regulations because they are often vague and inconsistent. Second, applying the regulations to subjects who fit within multiple categories of vulnerability can lead to contradictions and the rejection of research that would be permissible if only one category were applicable. (...) Finally, some potential subjects have social and other context-based vulnerabilities that are not described in the federal regulations... (shrink)

Sexual reproduction is the dominant reproductive mode in eukaryotes but, in many taxa, it has never been observed. Molecular methods that detect evidence of sex are largely based on the genetic consequences of sexual reproduction. Here we describe a powerful new approach to directly search genomes for genes that function in meiosis. We describe a “meiosis detection toolkit”, a set of meiotic genes that represent the best markers for the presence of meiosis. These genes are widely present in eukaryotes, function (...) only in meiosis and can be isolated by degenerate PCR. The presence of most, or all, of these genes in a genome would suggest they have been maintained for meiosis and, implicitly, sexual reproduction. In contrast, their absence would be consistent with the loss of meiosis and asexuality. This approach will help to understand both meiotic gene evolution and the capacity for meiosis and sex in putative obligate asexuals. BioEssays 30:579–589, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

Poststructuralism and the Politics of Method examines the political possibilities emerging with poststructuralist epistemology. Beginning with the premises for the construction of knowledge claims, Koch explores the dimensions of materialism, democracy, power, leftist politics, and other themes emerging from the this twentieth century philosophic movement.

Research indicates that emotions are predictive of sports performance. The application of emotion research to practice is that intervention strategies can be used to change emotions to enhance performance. The present study examined emotional profiles associated with successful performance. A review of studies indicate that there are general trends, that is, high activation emotions such as excitement and vigor tend to associate with good performance and low activation unpleasant emotions such as depression and dejection tend to associate with poor performance. (...) Studies show mixed results for high activation unpleasant emotions. Athletes like to feel emotions that can be functional, and so some athletes will seek to increase or sustain relatively high levels of anger or anxiety if they believe they are helpful for performance. It is proposed that practitioners identify individual emotion-performance relationships and examine underlying beliefs associated with each emotion. (shrink)

Entangled by modernism -- Archaeological use of theories -- Object science -- Group formation, dissent, and change -- A method for analyzing cultural action -- Fragmenting the Bronze Age -- Contestation in the Hopewell.

Science and religious faith are two of the most important and influential forces in human life, yet there is widespread confusion about how, or indeed whether, they link together. This book describes this combination from the perspective of one who finds that they link together productively and creatively.

This essay identifies two different methodological strategies used by the proponents of anarchism. In what is termed the "ontological" approach, the rationale for anarchism depends on a particular representation of human nature. That characterization of "being" determines the relation between the individual and the structures of social life. In the alternative approach, the epistemological status of "representation" is challenged, leaving human subjects without stable identities. Without the possibility of stable human representations, the foundations underlying the exercise of institutional power can (...) be challenged. This epistemological discussion is traced from Max Stirner to the twentieth-century movement known as poststructuralism. (shrink)

The animalist says we are animals. This thesis is commonly understood as the universal generalization that all human persons are human animals. This article proposes an alternative: the thesis is a generic that admits of exceptions. We defend the resulting view, which we call ‘generic animalism’, and show its aptitude for diagnosing the limits of eight case-based objections to animalism.

Philosophical and political discussions of health inequalities have largely focused on questions of justice. The general strategy employed by philosophers like Norman Daniels is to identify a certain state of affairs—in his case, equality of opportunity—and then argue that health disparities limiting an individual's or group's access to that condition are unjust, demanding intervention. Recent work in epidemiology, however, has highlighted the importance of socioeconomic status in creating health inequalities. I explore the ways in which theories of justice have been (...) expanded in light of this data, suggesting that more work is required if such theories are to provide an adequate framework for addressing health disparities. I conclude by sketching an alternative possibility for thinking about health disparities outside of the context of justice. (shrink)

Paul Krugman and others deny that bitcoin has legitimate uses. Critics like Krugman also fail to distinguish bitcoin from other cryptocurrencies. But once we isolate bitcoin from the rest of the field, we see how special, and how useful, it is. In this chapter, we explain why bitcoin is unique among cryptocurrencies as a credibly neutral monetary asset and why this is important. Its uniqueness doesn’t owe entirely to its age (as the oldest) or market ranking (as the most valuable). (...) As a credibly neutral monetary asset, bitcoin solves problems for those in less than ideal circumstances. And beyond bitcoin’s functionality, its origin and surrounding culture also help to explain why people trust bitcoin more than any other cryptocurrency to solve these problems. Nothing else comes close. This gap between bitcoin and everything else has implications for policy-making, journalism, and academic research. (shrink)

Working in the fragment of Martin-Löfs extensional type theory [12] which has products (but not sums) of dependent types, we consider two additional assumptions: firstly, that there are (strong) equality types; and secondly, that there is a type which is universal in the sense that terms of that type name all types, up to isomorphism. For such a type theory, we give a version of Russell's paradox showing that each type possesses a closed term and (hence) that all terms of (...) each type are provably equal. We consider the kind of category theoretic structure which corresponds to this kind of type theory and obtain a categorical version of the paradox. A special case of this result is the degeneracy of a locally cartesian closed category with a morphism which is generic in the sense that every other morphism in the category can be obtained from it via pullback. (shrink)

Philosophy has made substantive contributions to education, going at least as far back as to well-known figures such as Plato and Aristotle. Along with disciplines like psychology and sociology, philosophy has helped shape some of the core features of experiential learning. The central aim of the present introduction is to illustrate how developments in experiential learning are the result of contributions from both within and without philosophy. Some secondary goals include discussing the historical and contemporary developments in experiential learning as (...) a way of framing the essays that make up this special issue. (shrink)

In a recent article in this journal, Duijf claims to have proved that team reasoning can be viewed as a payoff transformation. His formalization mimics team reasoning but ignores its essential agency switch. The possibility of such a payoff transformation was never in doubt, does not imply that team reasoning can be viewed as a payoff transformation, and makes no sense in a game in which payoffs represent players’ utilities. A theorem is proved here that a simpler and more intuitive (...) payoff transformation can mimic any theory that predicts what strategies players will choose in a well-defined game. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

Psychology plays an increasingly important role in today's society. Its influence can be seen all around us - be it in the home, the workplace, the school or our private lives. A uniquely diverse discipline, it ranges from social psychology to biological aspects of behaviour, and from basic research to the applied professions. This _Companion Encyclopedia_ covers all these main branches of psychological research and professional practice. The thematic arrangement is the result of the Editor's extensive research into syllabi, from (...) which he distilled the 13 most frequently taught units. Students can consult and be referred to sections relating to their lecture programme, and can find lucid definitions of frequently used terms in the Glossary. Headings and sub-headings are clearly highlighted at the beginning of each chapter - ideal for quick reference. * Provides authoritative and in-depth reference material on all major branches of psychological research and professional practice * Contributors include many of the world's most eminent psychologists * Written in a lively style without assuming previous knowledge of the subject * Structured according to the core topics appearing most often as discrete modules in contemporary psychology courses * Detailed bibliographies, further reading sections, exhaustive index and glossary of technical terms * Containing 165 supporting illustrations. (shrink)

My purpose in this article is to defend the goodness of Whitehead's God against two recent critics: Pierfrancesco Basile and Peter Sjöstedt-Hughes. I will both rely on Whitehead's own statements regarding God's goodness and offer a metaphysical interpretation of these statements in relation to his “axianoetic” universe.

In this commentary on Denis Noble’s “The Illusions of the Modern Synthesis,” I discuss three illusions he argues exist within the Modern Synthesis. These illusions have the common theme of attempting to identify the correct way of understanding and describing biological systems. I agree with much of Noble’s claims, but offer the language of developmental systems theory as a friendly tool for moving the project forward.

Recent research in epidemiology has identified a number of factors beyond access to medical care that contribute to health disparities. Among the so-called socioeconomic determinants of health are income, education, and the distribution of social capital. One factor that has been overlooked in this discussion is the effect that stigmatization can have on health. In this paper, I identify two ways that social stigma can create health disparities: directly by impacting health-care seeking behaviour and indirectly through the internalization of negative (...) interpersonal judgments. I then argue that social arrangements that foster self-respect can reduce the impact of stigmatization on health disparities. I conclude by showing how John Rawls' conception of justice can be used to address the intersection of stigma, health, and self-respect, in contrast to critics of his position, who have seen him as excessively focused on the allocation of material goods. (shrink)

Modal responses to items from a recent survey of independent practitioners regarding the impact of managed care on their practices and ethics were presented to participants as the responses of a hypothetical independent practitioner. Participants were asked to consider seeing this hypothetical practitioner both before and after being informed of the practitioner's responses to the managed care survey. Results indicate that when participants were informed of the practitioner's views toward managed care, their own attitudes toward therapy changed significantly. Specifically, compared (...) to uninformed participants, informed participants were significantly more likely to believe that managed care would have a negative impact on treatment and significantly less likely to see an independent practitioner, use insurance benefits, expect to benefit from treatment, expect to form a strong working relationship, and trust that the practitioner would work in their best interest. Implications regarding ethics and informed consent are discussed. (shrink)

Here is a question as intriguing as it is brief: what are we? The animalist’s answer is equal in brevity: we are animals. This stark formulation of the animalist slogan distances it from nearby claims—that we are essentially animals, for example, or that we have purely biological criteria of identity over time. Is the animalist slogan—unburdened by modal or criterial commitments—still interesting, though? Or has it lost its bite? In this article we address such questions by presenting a positive case (...) for the importance of animalism and applying that case to recent critiques. (shrink)

In this paper, I will examine John Smeaton’s contribution to the vis viva controversy in Britain, focusing on how the hybridization of science, technology, and industry helped to establish vis viva, or mechanic power, as a measure of motive force. Smeaton, embodying the ‘hybrid expert’ who combined theoretical knowledge and practical knowhow, demonstrated that the notion of vis viva possessed a greater explanatory power than momentum, because it could be used to explain the difference in efficiency between overshot and undershot (...) waterwheels. Smeaton’s conclusions were correct since waterwheel efficiency was already measured in terms that were proportional to vis viva, not momentum, as a result of the industrial applications of waterwheel technology, which favored measuring efficiency by the product of mass and vertical displacement. Toward the end of the eighteenth century, the loss of motive force in the inelastic collision driving the undershot wheel began to be seen as equivalent to the expenditure of labor in the manufacture of commodities, further underlining how strictly scientific conclusions about motive force could have their origin in industrial practices. (shrink)

This paper focuses on the most common state policy responses to the opioid crisis, dividing them into six broad categories. Within each category we highlight the rationale behind the group of policies within it, discuss the details and support for individual policies, and explore the research base behind them. The objective is to better understand the most prevalent state responses to the opioid crisis.